Coherence for bicategories and indexed categories
نویسندگان
چکیده
منابع مشابه
Duality and Traces for Indexed Monoidal Categories
By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the Lefschetz number called the Reidemeister trace. Abstractly, the Lefschetz number is a trace in a symmetric monoidal category, while the Reidemeister trace is a tr...
متن کاملEnriched Indexed Categories
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V . This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of “limit” for such enriched indexed categories, and show that th...
متن کاملRelational Databases and Indexed Categories
A description of relational databases in categorical terminology given here has as intended application the study of database dynamics in par ticular we view i updates as database objects in a suitable category indexed by a topos ii L fuzzy databases as database objects in sheaves Indexed cate gories are constructed to model the databases on a xed family of domains and also all databases for a ...
متن کاملThe periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
Abstract. We examine the periodic table of weak n-categories for the lowdimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to monoidal categories; however, to understand this correspondence fully we examine the totalities of such structures together with maps between them ...
متن کاملThe Linearity of Traces in Monoidal Categories and Bicategories
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1985
ISSN: 0022-4049
DOI: 10.1016/0022-4049(85)90087-8